class BooleanAlgebra:
    ...


class Expression:
    ...
